diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-04-12 16:55:36 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-04-12 16:55:36 -0700 |
| commit | f0c69a1cfeb7ec8050f3f22a05087335b6f56f38 (patch) | |
| tree | 6cc49faebbbad3d9f0d7428cba344806ed5f8f1c /tests/cases/uadd_overflow_ta2.ll | |
| parent | 94aa7b917086053fbf4f6125daad8bb1bd889190 (diff) | |
handle inline struct definitions (assuming zeroinit) in illegal insertvalue, and add testcase based on gmp.js
Diffstat (limited to 'tests/cases/uadd_overflow_ta2.ll')
| -rw-r--r-- | tests/cases/uadd_overflow_ta2.ll | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tests/cases/uadd_overflow_ta2.ll b/tests/cases/uadd_overflow_ta2.ll index 81a76bcd..feac60e3 100644 --- a/tests/cases/uadd_overflow_ta2.ll +++ b/tests/cases/uadd_overflow_ta2.ll @@ -33,6 +33,12 @@ entry: %64ba2 = zext i1 %64ba1 to i32 call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([9 x i8]* @.str2, i32 0, i32 0), i32 %64ba0, i32 %64ba2) ; [#uses=0] + %zbuadd1 = insertvalue { i32, i1 } { i32 undef, i1 false }, i32 10, 0 ; undef and explicit + %zba0 = extractvalue { i32, i1 } %zbuadd1, 0 + %zba1 = extractvalue { i32, i1 } %zbuadd1, 1 + %zba2 = zext i1 %ba1 to i32 + call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([9 x i8]* @.str2, i32 0, i32 0), i32 %zba0, i32 %zba2) ; [#uses=0] + ret i32 1 } |