Home | History | Annotate | Download | only in LICM 
      1 ; RUN: opt -S -basicaa -licm %s | FileCheck %s
      2 declare i32 @foo() readonly argmemonly nounwind
      3 declare i32 @foo2() readonly nounwind
      4 declare i32 @bar(i32* %loc2) readonly argmemonly nounwind
      5 
      6 define void @test(i32* %loc) {
      7 ; CHECK-LABEL: @test
      8 ; CHECK: @foo
      9 ; CHECK-LABEL: loop:
     10   br label %loop
     11 
     12 loop:
     13   %res = call i32 @foo()
     14   store i32 %res, i32* %loc
     15   br label %loop
     16 }
     17 
     18 ; Negative test: show argmemonly is required
     19 define void @test_neg(i32* %loc) {
     20 ; CHECK-LABEL: @test_neg
     21 ; CHECK-LABEL: loop:
     22 ; CHECK: @foo
     23   br label %loop
     24 
     25 loop:
     26   %res = call i32 @foo2()
     27   store i32 %res, i32* %loc
     28   br label %loop
     29 }
     30 
     31 define void @test2(i32* noalias %loc, i32* noalias %loc2) {
     32 ; CHECK-LABEL: @test2
     33 ; CHECK: @bar
     34 ; CHECK-LABEL: loop:
     35   br label %loop
     36 
     37 loop:
     38   %res = call i32 @bar(i32* %loc2)
     39   store i32 %res, i32* %loc
     40   br label %loop
     41 }
     42 
     43 ; Negative test: %might clobber gep
     44 define void @test3(i32* %loc) {
     45 ; CHECK-LABEL: @test3
     46 ; CHECK-LABEL: loop:
     47 ; CHECK: @bar
     48   br label %loop
     49 
     50 loop:
     51   %res = call i32 @bar(i32* %loc)
     52   %gep = getelementptr i32, i32 *%loc, i64 1000000
     53   store i32 %res, i32* %gep
     54   br label %loop
     55 }
     56 
     57 
     58 ; Negative test: %loc might alias %loc2
     59 define void @test4(i32* %loc, i32* %loc2) {
     60 ; CHECK-LABEL: @test4
     61 ; CHECK-LABEL: loop:
     62 ; CHECK: @bar
     63   br label %loop
     64 
     65 loop:
     66   %res = call i32 @bar(i32* %loc2)
     67   store i32 %res, i32* %loc
     68   br label %loop
     69 }
     70