llvm/test/Transforms/GVN/phi-translation-to-wrong-context.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -S -passes=gvn < %s | FileCheck %s
   3
   4 ; Phi translation of %gep.j cannot use %gep.i, which is located in a context
   5 ; where %i != 0, and would result in incorrect NoAlias results in a context
   6 ; where %i == 0 may hold.
   7
   8 define i32 @test(i64 %i, i1 %c1, i1 %c2) {
   9 ; CHECK-LABEL: @test(
  10 ; CHECK-NEXT:  entry:
  11 ; CHECK-NEXT:    [[PTR:%.*]] = alloca [2 x i32], align 4
  12 ; CHECK-NEXT:    br i1 [[C1:%.*]], label [[IF:%.*]], label [[ELSE:%.*]]
  13 ; CHECK:       if:
  14 ; CHECK-NEXT:    br i1 [[C2:%.*]], label [[IF2:%.*]], label [[ELSE2:%.*]]
  15 ; CHECK:       if2:
  16 ; CHECK-NEXT:    store i32 1, ptr [[PTR]], align 4
  17 ; CHECK-NEXT:    [[GEP_J_PHI_TRANS_INSERT:%.*]] = getelementptr inbounds i32, ptr [[PTR]], i64 [[I:%.*]]
  18 ; CHECK-NEXT:    [[V_PRE:%.*]] = load i32, ptr [[GEP_J_PHI_TRANS_INSERT]], align 4
  19 ; CHECK-NEXT:    br label [[JOIN:%.*]]
  20 ; CHECK:       else2:
  21 ; CHECK-NEXT:    store i32 2, ptr [[PTR]], align 4
  22 ; CHECK-NEXT:    br label [[JOIN]]
  23 ; CHECK:       join:
  24 ; CHECK-NEXT:    [[V:%.*]] = phi i32 [ [[V_PRE]], [[IF2]] ], [ 2, [[ELSE2]] ]
  25 ; CHECK-NEXT:    [[J:%.*]] = phi i64 [ [[I]], [[IF2]] ], [ 0, [[ELSE2]] ]
  26 ; CHECK-NEXT:    [[GEP_J:%.*]] = getelementptr inbounds i32, ptr [[PTR]], i64 [[J]]
  27 ; CHECK-NEXT:    ret i32 [[V]]
  28 ; CHECK:       else:
  29 ; CHECK-NEXT:    [[CMP:%.*]] = icmp ne i64 [[I]], 0
  30 ; CHECK-NEXT:    call void @llvm.assume(i1 [[CMP]])
  31 ; CHECK-NEXT:    [[GEP_I:%.*]] = getelementptr inbounds i32, ptr [[PTR]], i64 [[I]]
  32 ; CHECK-NEXT:    ret i32 0
  33 ;
  34 entry:
  35   %ptr = alloca [2 x i32]
  36   br i1 %c1, label %if, label %else
  37
  38 if:
  39   br i1 %c2, label %if2, label %else2
  40
  41 if2:
  42   store i32 1, ptr %ptr
  43   br label %join
  44
  45 else2:
  46   store i32 2, ptr %ptr
  47   br label %join
  48
  49 join:
  50   %j = phi i64 [ %i, %if2 ], [ 0, %else2 ]
  51   %gep.j = getelementptr inbounds i32, ptr %ptr, i64 %j
  52   %v = load i32, ptr %gep.j
  53   ret i32 %v
  54
  55 else:
  56   %cmp = icmp ne i64 %i, 0
  57   call void @llvm.assume(i1 %cmp)
  58   %gep.i = getelementptr inbounds i32, ptr %ptr, i64 %i
  59   ret i32 0
  60 }
  61
  62 declare void @llvm.assume(i1)