llvm/test/Transforms/PhaseOrdering/pr40750.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -passes=simplifycfg,instcombine -simplifycfg-require-and-preserve-domtree=1 -S < %s | FileCheck %s
   3
   4 %struct.test = type { i8, [3 x i8] }
   5
   6 define i32 @get(ptr nocapture readonly %arg) {
   7 ; CHECK-LABEL: @get(
   8 ; CHECK-NEXT:  bb:
   9 ; CHECK-NEXT:    [[I1:%.*]] = load i8, ptr [[ARG:%.*]], align 4
  10 ; CHECK-NEXT:    [[TMP0:%.*]] = and i8 [[I1]], 3
  11 ; CHECK-NEXT:    [[TMP1:%.*]] = icmp ne i8 [[TMP0]], 0
  12 ; CHECK-NEXT:    [[I9:%.*]] = zext i1 [[TMP1]] to i32
  13 ; CHECK-NEXT:    ret i32 [[I9]]
  14 ;
  15 bb:
  16   %i1 = load i8, ptr %arg, align 4
  17   %i2 = and i8 %i1, 1
  18   %i3 = icmp eq i8 %i2, 0
  19   br i1 %i3, label %bb4, label %bb8
  20
  21 bb4:
  22   %i5 = lshr i8 %i1, 1
  23   %i6 = and i8 %i5, 1
  24   %i7 = zext i8 %i6 to i32
  25   br label %bb8
  26
  27 bb8:
  28   %i9 = phi i32 [ 1, %bb ], [ %i7, %bb4 ]
  29   ret i32 %i9
  30 }