test/Transforms/GVN/MemdepMiscompile.ll

   1 ; RUN: opt < %s -basicaa -gvn -S | FileCheck %s
   2 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
   3 target triple = "x86_64-apple-macosx10.7.0"
   4
   5 ; rdar://12801584
   6 ; Value of %shouldExit can be changed by RunInMode.
   7 ; Make sure we do not replace load %shouldExit in while.cond.backedge
   8 ; with a phi node where the value from while.body is 0.
   9 define i32 @test() nounwind ssp {
  10 entry:
  11 ; CHECK: test()
  12 ; CHECK: while.body:
  13 ; CHECK: call void @RunInMode
  14 ; CHECK: br i1 %tobool, label %while.cond.backedge, label %if.then
  15 ; CHECK: while.cond.backedge:
  16 ; CHECK: load i32* %shouldExit
  17 ; CHECK: br i1 %cmp, label %while.body
  18   %shouldExit = alloca i32, align 4
  19   %tasksIdle = alloca i32, align 4
  20   store i32 0, i32* %shouldExit, align 4
  21   store i32 0, i32* %tasksIdle, align 4
  22   call void @CTestInitialize(i32* %tasksIdle) nounwind
  23   %0 = load i32* %shouldExit, align 4
  24   %cmp1 = icmp eq i32 %0, 0
  25   br i1 %cmp1, label %while.body.lr.ph, label %while.end
  26
  27 while.body.lr.ph:
  28   br label %while.body
  29
  30 while.body:
  31   call void @RunInMode(i32 100) nounwind
  32   %1 = load i32* %tasksIdle, align 4
  33   %tobool = icmp eq i32 %1, 0
  34   br i1 %tobool, label %while.cond.backedge, label %if.then
  35
  36 if.then:
  37   store i32 0, i32* %tasksIdle, align 4
  38   call void @TimerCreate(i32* %shouldExit) nounwind
  39   br label %while.cond.backedge
  40
  41 while.cond.backedge:
  42   %2 = load i32* %shouldExit, align 4
  43   %cmp = icmp eq i32 %2, 0
  44   br i1 %cmp, label %while.body, label %while.cond.while.end_crit_edge
  45
  46 while.cond.while.end_crit_edge:
  47   br label %while.end
  48
  49 while.end:
  50   ret i32 0
  51 }
  52 declare void @CTestInitialize(i32*)
  53 declare void @RunInMode(i32)
  54 declare void @TimerCreate(i32*)