test/Transforms/InstCombine/idioms.ll

   1 ; RUN: opt -instcombine -S < %s | FileCheck %s
   2
   3 ; Check that code corresponding to the following C function is
   4 ; simplified into a single ASR operation:
   5 ;
   6 ; int test_asr(int a, int b) {
   7 ;   return a < 0 ? -(-a - 1 >> b) - 1 : a >> b;
   8 ; }
   9 ;
  10 define i32 @test_asr(i32 %a, i32 %b) {
  11 entry:
  12         %c = icmp slt i32 %a, 0
  13         br i1 %c, label %bb2, label %bb3
  14
  15 bb2:
  16         %t1 = sub i32 0, %a
  17         %not = sub i32 %t1, 1
  18         %d = ashr i32 %not, %b
  19         %t2 = sub i32 0, %d
  20         %not2 = sub i32 %t2, 1
  21         br label %bb4
  22 bb3:
  23         %e = ashr i32 %a, %b
  24         br label %bb4
  25 bb4:
  26         %f = phi i32 [ %not2, %bb2 ], [ %e, %bb3 ]
  27         ret i32 %f
  28 ; CHECK-LABEL: @test_asr(
  29 ; CHECK: bb4:
  30 ; CHECK: %f = ashr i32 %a, %b
  31 ; CHECK: ret i32 %f
  32 }