diff options
Diffstat (limited to 'test/Transforms/InstCombine/rem.ll')
-rw-r--r-- | test/Transforms/InstCombine/rem.ll | 79 |
1 files changed, 79 insertions, 0 deletions
diff --git a/test/Transforms/InstCombine/rem.ll b/test/Transforms/InstCombine/rem.ll new file mode 100644 index 0000000..987d3c3 --- /dev/null +++ b/test/Transforms/InstCombine/rem.ll @@ -0,0 +1,79 @@ +; This test makes sure that these instructions are properly eliminated. +; +; RUN: llvm-upgrade < %s | llvm-as | opt -instcombine | llvm-dis | not grep rem +; END. + +implementation + +int %test1(int %A) { + %B = rem int %A, 1 ; ISA constant 0 + ret int %B +} + +int %test2(int %A) { ; 0 % X = 0, we don't need to preserve traps + %B = rem int 0, %A + ret int %B +} + +uint %test3(uint %A) { + %B = rem uint %A, 8 ; & 7 + ret uint %B +} + +bool %test3a(int %A) { + %B = rem int %A, -8 ; & 7 + %C = setne int %B, 0 + ret bool %C +} + +uint %test4(uint %X, bool %C) { + %V = select bool %C, uint 1, uint 8 + %R = rem uint %X, %V + ret uint %R +} + +uint %test5(uint %X, ubyte %B) { + %Amt = shl uint 32, ubyte %B + %V = rem uint %X, %Amt + ret uint %V +} + +int %test6(int %A) { + %B = rem int %A, 0 ;; undef + ret int %B +} + +int %test7(int %A) { + %B = mul int %A, 26 + %C = rem int %B, 13 + ret int %C +} + +int %test8(int %A) { + %B = shl int %A, ubyte 4 + %C = rem int %B, 8 + ret int %C +} + +uint %test9(uint %A) { + %B = mul uint %A, 124 + %C = rem uint %B, 62 + ret uint %C +} + +int %test10(ubyte %c) { + %tmp.1 = cast ubyte %c to int + %tmp.2 = mul int %tmp.1, 3 + %tmp.3 = cast int %tmp.2 to ulong + %tmp.5 = rem ulong %tmp.3, 3 + %tmp.6 = cast ulong %tmp.5 to int + ret int %tmp.6 +} + +int %test11(int %i) { + %tmp.1 = and int %i, -2 + %tmp.3 = mul int %tmp.1, 3 + %tmp.5 = rem int %tmp.3, 6 + ret int %tmp.5 +} + |